A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Functional programming
• Monad
• Heap
• Clean

PDF Document

Source URL: www.eis.mdx.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Recursion
• Theoretical computer science
• Functional programming
• Category theory
• Subroutines
• Corecursion
• Fold
• Coinduction
• Tail call

PDF Document

Source URL: homes.soic.indiana.edu

• Type theory
• Functional languages
• Type systems
• Procedural programming languages
• Lambda calculus
• Type inference
• Monad
• ML
• HindleyMilner type system
• Functional programming
• Parallel computing
• Unification

PDF Document

Source URL: code.ouroborus.net

• Software engineering
• Computing
• Computer programming
• Data types
• Compiler construction
• Compilers
• LLVM
• Functional languages
• Const
• Aliasing
• Immutable object
• Haskell

From functor to monad Adam Szlachta Introduction Functional programming

Source URL: 808fabrik.com

R EGISTRATION The registration should be made from the FLOPS 2012 web site. Call For Participation Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)

Source URL: www.org.kobe-u.ac.jp

c 1995 Cambridge University Press 583 J. Functional Programming 5(4): 583–592, October 1995 Simple and Efficient Purely Functional Queues and Deques CHRIS OKASAKI

Source URL: www.westpoint.edu

Julio Mari˜no (Ed). Functional and (Constraint) Logic Programming 19th International Workshop, WFLP 2010 Madrid, Spain, January 17th, 2010.

Source URL: babel.ls.fi.upm.es